Matthias Felleisen - PDFSEARCH.IO - Document Search Engine

Matthias Felleisen
Results: 83

#	Item
51	The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang \| matthias } @ ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Theoretical computer science Lambda calculus Computability theory Evaluation strategy Calculus Free variables and bound variables Function Parameter Algorithm Mathematics Mathematical logic Applied mathematics
52	Hygienic Macros for ACL2 Carl Eastlund and Matthias Felleisen Northeastern University Boston, MA, USA {cce,matthias}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Functional languages Transformation languages Source code Hygienic macro Scheme programming language Common Lisp Macro ACL2 Computer programming Computing Software engineering
53	Debugging Hygienic Macros 1 Ryan Culpepper, Matthias Felleisen College of Computer and Information Science, Northeastern University, Boston MA 02115, USA Abstract Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Transformation languages Procedural programming languages Source code Lisp programming language Hygienic macro Macro Common Lisp Scheme Software engineering Computing Computer programming
54	A On Contract Satisfaction in a Higher-Order World CHRISTOS DIMOULAS and MATTHIAS FELLEISEN, Northeastern University, Boston, MA Behavioral software contracts have become a popular mechanism for specifying and ensuring l Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Models of computation Logic in computer science Programming language semantics Racket Denotational semantics Eiffel Matthias Felleisen Design by contract Lambda calculus Software engineering Computing Computer programming
55	Functional Objects Matthias Felleisen PLT Northeastern University The Myth Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-06-17 05:40:23 Computing Programming paradigms Object Imperative programming OO Matthias Felleisen Immutable object Software engineering Object-oriented programming Computer programming
56	Fortifying Macros ∗ Ryan Culpepper † Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Source code Formal languages C programming language Transformation languages Hygienic macro Scheme programming language Macro Pattern matching Attribute grammar Computer programming Computing Software engineering
57	Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen Harvard Graduate School of Education, WPI Computer Scien Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Mathematical sciences Statistical inference Bootstrapping Data analysis Resampling Function Emmy Noether Education in the United States ProgramByDesign Statistics Mathematics Mathematics education
58	Adding Types to Untyped Languages Matthias Felleisen PLT Northeastern University, Boston, Massachusetts [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Type theory Lambda calculus Data types Functional programming Racket Matthias Felleisen Type safety Programming language Robert Bruce Findler Software engineering Computing Programming language theory
59	Making Induction Manifest in Modular ACL2 ∗ Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Mathematical logic Holism ACL2 Formal methods Automated theorem proving Nqthm Structural induction Common Lisp Software engineering Computing Computer programming
60	Profiling For Laziness Matthias Felleisen Stephen Chang [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming